$\forall$$i$:$\mathbb{Z}$, $j$:\{$i$+1$\ldots\,$\}, $E$:(\{$i$..$j$$^{-}$\}$\rightarrow\mathbb{P}$\{u\}).
\\[0ex]$E$($i$) $\Rightarrow$ ($\forall$$k$:\{($i$+1)..$j$$^{-}$\}. $E$($k$ {-} 1) $\Rightarrow$ $E$($k$)) $\Rightarrow$ \{$\forall$$k$:\{$i$..$j$$^{-}$\}. $E$($k$)\}